automatic program verification造句
例句与造句
- He received the Turing Award in 1978 " for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science : the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms ".
- It's difficult to find automatic program verification in a sentence. 用automatic program verification造句挺难的
相邻词汇
- "automatic program search system"造句
- "automatic program setting method"造句
- "automatic program synthesis"造句
- "automatic program unit"造句
- "automatic programed checkout equipment"造句
- "automatic programme control"造句
- "automatic programmed checkout equipment"造句
- "automatic programmed elevator"造句
- "automatic programmed tools"造句